valtype($i$;$a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$kindcase(kind($a$); $a$.$w$.TA($i$,$a$); $l$,${\it tg}$.$w$.M($l$,${\it tg}$) )